Formal learning

Results: 810



#Item
21Artificial neural networks / Academia / Applied mathematics / Artificial intelligence / Computational neuroscience / Formal sciences / Machine learning / Computational statistics / Recurrent neural network / Sepp Hochreiter / Long short-term memory / Backpropagation

EVALUATING BENCHMARK PROBLEMS BY RANDOM GUESSING J¨ urgen Schmidhuber IDSIA Corso Elvezia 36

Add to Reading List

Source URL: www.bioinf.jku.at

Language: English - Date: 2015-10-02 01:16:05
22Lattice theory / Computing / Ontology / Data management / Data modeling / Data mining / Formal concept analysis / Machine learning / Data model / Entityrelationship model / Software engineering / Conceptual model

An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau|baris.sertkaya)@sap.com

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2011-06-14 09:30:50
23Data / Computing / Information technology / Business intelligence / Formal sciences / Data management / Big data / Transaction processing / Analytics / Open data / Learning analytics / Open Data Institute

Policy Exchange This report is about a strategy for big data in the public sector. We provide an overview and examples to inspire policymakers around the opportunity for data and analytics to transform public service d

Add to Reading List

Source URL: policyexchange.org.uk

Language: English - Date: 2013-12-06 16:20:39
24Education / Educational psychology / Nonformal learning / Academia / Youth empowerment / Ageism / Community building / Development communication / Community education

National Youth Policies A working document from the point of view of "non-formal education" youth organizations Towards an autonomous, supportive, responsible and committed youth

Add to Reading List

Source URL: ypr.scouts.com.au

Language: English - Date: 2013-11-21 02:09:40
25Economy / Business intelligence / Formal sciences / Analytics / Big data / Mathematical finance / Data management / Data / Learning analytics

Microsoft WordEnhancing Institutional Research Management with Advanced Analytics – Getting More Value with Your Data.do

Add to Reading List

Source URL: www.inorms2016.org

Language: English - Date: 2016-03-21 01:27:11
26Mathematical logic / Theoretical computer science / Automated theorem proving / Mathematics / Logic in computer science / Formal methods / Proof assistants / Artificial intelligence / Isabelle / Automated reasoning / IP / Logic programming

MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-03-13 06:06:51
27Logic / Mathematical logic / Abstraction / Quantification / Predicate logic / Model theory / Semantics / Formal languages / Quantifier / First-order logic / Constructible universe / Universal quantification

Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc

Add to Reading List

Source URL: stephenbach.net

Language: English - Date: 2015-09-22 18:21:56
28Economy / Web analytics / Business intelligence / Information technology / Data analysis / Webtrends / Formal sciences / Data management / Analytics / Big data / Learning analytics

Business meeting at work at trendy startup company presenting pitch for growth and development

Add to Reading List

Source URL: cdn.webtrends.com

Language: English
29Business intelligence / Economy / Education / Data analysis / Learning / Formal sciences / Educational psychology / Learning analytics / Predictive analytics / Analytics / Educational technology / Academic analytics

Using information to support student learning This document tells you about important developments in the use of information The Open University holds about its students. You should take time to read it and understand ho

Add to Reading List

Source URL: www.open.ac.uk

Language: English - Date: 2015-03-18 13:09:45
30Artificial neural networks / Artificial intelligence / Computational neuroscience / Cybernetics / Applied mathematics / Machine learning / Formal sciences / Deep learning / Convolutional neural network / Feature learning / Restricted Boltzmann machine / Boltzmann machine

Published in Proc. of International Joint Conference on Neural Networks (IJCNNin Barcelona, Spain Topological Features in Locally Connected RBMs Andreas M¨uller, Hannes Schulz, and Sven Behnke Abstract— Unsupe

Add to Reading List

Source URL: amueller.github.io

Language: English - Date: 2016-08-04 15:59:56
UPDATE